منابع مشابه
Formalization of Visual Mathematical Notations
This paper discusses picture logic, a visual language for the specification of diagrams and diagram transformations. Formal specification techniques for diagrammatic or visual languages have previously mainly been targeted towards static diagrammatic languages. For reasoning about certain types of diagrams, however, formalizing a notion of change is inevitable. This is particularly true of visu...
متن کاملFormalization and Parsing of Mathematical Expressions for Mathematical Computatio
Mathematical expression parsing is very important particularly for the human interface of numeric and algebraic computation systems. In this paper, we define a formalization method and a denotational meaning representation of mathematical expressions. We create grammars and their parser to translate the formalized mathematical expressions into their meaning representation. We also develop a met...
متن کاملMathematical Formalization of the Messenger Paradigm 1
This technical report presents the syntax and semantics, in terms of transition system, of the messenger paradigm as it has been presented in [8]. Messengers are mobile agents able to collaborate and to coordinate their work, but are not considered as intelligent agents. More precisely, messengers are mobile codes exchanged between messenger platforms. Arriving messengers are immediately execut...
متن کاملA mathematical formalization of data parallel operations
We give a mathematical formalization of ‘generalized data parallel’ operations, a concept that covers such common scientific kernels as matrix-vector multiplication, multi-grid coarsening, load distribution, and many more. We show that from a compact specification such computational aspects as MPI messages or task dependencies can be automatically derived.
متن کاملA Mathematical Formalization of Fuzzy Trace Theory
In this paper, we develop a novel formalization of Fuzzy Trace Theory (FTT), a leading theory of qualitative risky decision-making. Our model is the first to explicitly formalize and integrate the concepts of gist and the gist hierarchy. Domain knowledge constrains the space of possible decision problems, explaining which gists are chosen in which contexts. We test our model against risky-choic...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Strategic decisions and risk management
سال: 2018
ISSN: 2618-9984,2618-947X
DOI: 10.17747/2078-8886-2018-4-54-57